// -*- coding: utf-8 -*-

#include <iostream>

#include "hybrid_var.h"

USING_ELISA

int ContVar::logIndex(0);

//VNInterval Time::m_excess;

const double Time::DefaultPrecision(1.0e-1);
double Time::m_precision(DefaultPrecision);

bool TimeImpl::isSplittable() const
{
	Time *t = dynamic_cast<Time *>(m_symbolicRep);
	return (domain().width() >= t->getPrecision());
}
